Test Based Security
نویسنده
چکیده
Different techniques for expressing an amount of information on secrete data which can be obtained by a process testing are presented. They are based on (probalistic) process algebra and (probabilistic) testing. Besides tested noninterference they express certainty about sets of private actions which execution is guaranteed by a given test and sets of actions which execution could be excluded by a given test. Moreover, we relate obtained information to the size of the test.
منابع مشابه
Mapping of McGraw Cycle to RUP Methodology for Secure Software Developing
Designing a secure software is one of the major phases in developing a robust software. The McGraw life cycle, as one of the well-known software security development approaches, implements different touch points as a collection of software security practices. Each touch point includes explicit instructions for applying security in terms of design, coding, measurement, and maintenance of softwar...
متن کاملAssessing the role of local councils in the development of sustainable urban security (Case Study; Urmia City)
Increasing urbanization today and the lack of integrated urban management have led to inadequate planning in cities. In this regard, the local councils, as the most prominent local institutions and the most important decentralization manifestations, symbolize the serious presence of the people to determine their own fate, if they are institutionalized in the governance structure as coordinators...
متن کاملEffect of Optimism Training on the Psychological Security of Addicted Parents' Primary School Children
Objective: The aim of this study was to investigate the effect of optimism training on the psychological security of addicted parents' primary school children in Zahedan. Method: A quasi-experimental research design along with pre-test/post-test and control group. The statistical population of this study consisted of addicted children aged 7 to 11 years old who had come to addiction centers in ...
متن کاملImage flip CAPTCHA
The massive and automated access to Web resources through robots has made it essential for Web service providers to make some conclusion about whether the "user" is a human or a robot. A Human Interaction Proof (HIP) like Completely Automated Public Turing test to tell Computers and Humans Apart (CAPTCHA) offers a way to make such a distinction. CAPTCHA is a reverse Turing test used by Web serv...
متن کاملComparison of the Effectiveness of Cognitive Therapy Based on Mindfulness and Life Therapy on Mental Well-Being and Psychological Security in Women with Generalized Anxiety Disorder: A Quasi-Experimental Study
Background and Objectives: Generalized anxiety disorder is one of the most common chronic anxiety disorders, and the role of psychotherapy in reducing its symptoms has been confirmed. The purpose of this study was to compare the effectiveness of cognitive therapy based on mindfulness and life therapy on mental well-being and psychological security in women with generalized anxiety disorder. Ma...
متن کاملSoftware Security Test Data Generation Based on Genetic Algorithms
Software security is an important quality. The software security testing is one of the most important kinds of the software testing. How to test the software security, and especially to automatically generate security test cases are major problems. An improved method of the test data generation based on Genetic Algorithm is put forwarded. A software security test algorithm is developed. The alg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012